-- Diese Testdatei demonstriert Fehler in der Funktionsdefinition
-- primitive type as argument
    DEF blubb(X:nat):nat == def(bool)
